2

Describing proofs by short tautologies

Stefan Hetzl
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 845 KB
english, 2009
3

On the form of witness terms

Stefan Hetzl
Journal:
Archive for Mathematical Logic
Year:
2010
Language:
english
File:
PDF, 289 KB
english, 2010
4

CERES in higher-order logic

Stefan Hetzl, Alexander Leitsch, Daniel Weller
Journal:
Annals of Pure and Applied Logic
Year:
2011
Language:
english
File:
PDF, 450 KB
english, 2011
5

The Computational Content of Arithmetical Proofs

Hetzl, Stefan
Journal:
Notre Dame Journal of Formal Logic
Year:
2012
Language:
english
File:
PDF, 228 KB
english, 2012
6

Algorithmic introduction of quantified cuts

Hetzl, Stefan, Leitsch, Alexander, Reis, Giselle, Weller, Daniel
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 861 KB
english, 2014
7

Inductive theorem proving based on tree grammars

Eberhard, Sebastian, Hetzl, Stefan
Journal:
Annals of Pure and Applied Logic
Year:
2015
Language:
english
File:
PDF, 721 KB
english, 2015
8

On the complexity of proof deskolemization

Baaz, Matthias, Hetzl, Stefan, Weller, Daniel
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.03 MB
english, 2012
9

On the non-confluence of cut-elimination

Baaz, Matthias, Hetzl, Stefan
Journal:
Journal of Symbolic Logic
Year:
2011
Language:
english
File:
PDF, 1.37 MB
english, 2011
10

Boolean unification with predicates

Eberhard, Sebastian, Hetzl, Stefan, Weller, Daniel
Journal:
Journal of Logic and Computation
Year:
2015
Language:
english
File:
PDF, 192 KB
english, 2015
11

Herbrand's theorem revisited

Afshari, Bahareh, Hetzl, Stefan, Leigh, Graham E.
Journal:
PAMM
Year:
2016
Language:
english
File:
PDF, 301 KB
english, 2016
13

On the compressibility of finite languages and formal proofs

Eberhard, Sebastian, Hetzl, Stefan
Journal:
Information and Computation
Year:
2017
Language:
english
File:
PDF, 1.13 MB
english, 2017
14

On the Generation of Quantified Lemmas

Ebner, Gabriel, Hetzl, Stefan, Leitsch, Alexander, Reis, Giselle, Weller, Daniel
Journal:
Journal of Automated Reasoning
Year:
2018
Language:
english
File:
PDF, 967 KB
english, 2018
15

On the cover complexity of finite languages

Hetzl, Stefan, Wolfsteiner, Simon
Journal:
Theoretical Computer Science
Year:
2019
Language:
english
File:
PDF, 955 KB
english, 2019
17

Expansion trees with cut

Aschieri, Federico, Hetzl, Stefan, Weller, Daniel
Journal:
Mathematical Structures in Computer Science
Year:
2019
Language:
english
File:
PDF, 356 KB
english, 2019
18

Decidability of affine solution problems

Hetzl, Stefan, Zivota, Sebastian
Journal:
Journal of Logic and Computation
Year:
2020
Language:
english
File:
PDF, 233 KB
english, 2020
19

Herbrand's theorem as higher order recursion

Afshari, Bahareh, Hetzl, Stefan, Leigh, Graham E.
Journal:
Annals of Pure and Applied Logic
Year:
2020
Language:
english
File:
PDF, 1.90 MB
english, 2020